정보과학회논문지 (Journal of KIISE)
Current Result Document :
| 한글제목(Korean Title) |
WALA와 Boa를 활용하여 대규모 소프트웨어 저장소를 정적으로 분석하는 도구 개발 |
| 영문제목(English Title) |
Static Analysis of Large Scale Software Repositories Using WALA and Boa |
| 저자(Author) |
박현수
김진수
박무성
전영배
윤지원
Hyunsu Park
Jinsoo Kim
Moosung Park
Youngbae Jeon
Jiwon Yoon
박경희
류석영
Gyunghee Park
Sukyoung Ryu
|
| 원문수록처(Citation) |
VOL 44 NO. 10 PP. 1081 ~ 1086 (2017. 10) |
한글내용
(Korean Abstract) |
대규모 공개 소스 소프트웨어 저장소를 대상으로 프로그램 분석을 수행하면, 각 저장소의 소프트웨어의 변화 과정을 살펴볼 수 있고, 방대한 양의 프로그램을 분석함으로써 신뢰도가 높은 분석 결과를 얻을 수 있다는 점에서 의의가 있다. 본 논문에서는 대규모 소프트웨어 저장소를 대상으로 확장 가능하게 정적 프로그램 분석을 수행할 수 있는 프레임워크인 WALABOA를 소개한다. 나아가, 정적 분석 결과인 정적 함수 호출 그래프와 동적 분석 결과인 동적 함수 호출 그래프를 비교하는 모듈을 WALABOA에 추가하여, 자바스크립트 분석기 WALA에서 제공하는 분석 기법 중 하나인 필드 기반 분석(field-based analysis) 결과를 평가하는 데 활용하였다.
|
영문내용
(English Abstract) |
A program analysis of a large-scale open-source software repository has a significant meaning in that it allows us to examine the changes and improvements of the software in repositories, and this brings more reliable results based on a large amount of programs. In this paper, we introduce a new static analysis framework WALABOA, which enables a scalable static analysis of large-scale software repositories. In addition, we show new findings from applying WALABOA, together with a module comparing the analysis results from a static analysis and a dynamic analysis, in evaluation of the field-based analysis, one of JavaScript static analysis techniques used in WALA.
|
| 키워드(Keyword) |
네트워크
사물 인터넷
자산식별
부하 균형
토폴로지 탐색
network
internet of things
asset identification
load balancing
topology discovery
분석 프레임워크
소프트웨어 저장소
공개 소스
정적 분석
analysis framework
software repositories
open source
static analysis
|
| 파일첨부 |
PDF 다운로드
|
